/**
 * \file paged.c
 * \author Davide Gessa
 * \note Mappatura delle pagine virtuali
 * \date 10-12-09
 */

#include "phys.h"
#include "paged.h"
#include <types.h>


/**
 * Dato un indirizzo virtuale, restituisce quello reale
 * 
 * \param virtual indirizzo virtuale
 * \return indirizzo fisico
 */
void *page_get_phys_addr(void *virtual)
{
	
}


/*
 * Viene mappato un indirizzo reale ad uno virtuale
 */
void page_map_page(void *real, void *virtual, uint32_t flags)
{

}


/*
 * Una pagina virtuale mappata in memoria viene smappata
 */
void page_unmap_page(void *virtual)
{
	
}


/*
 * Handler del page fault
 */
void page_fault_handler(regs_t *reg)
{
	
}
